<?php
	session_start();
	if (isset($_SESSION['utente'])){ 
		session_destroy();
	}
	echo '<script language=javascript>document.location.href="./../index.php"</script>';
?>